#ifndef Kernel_TimeIndex_h
#define Kernel_TimeIndex_h

#include "KernelModule.h"
#include <cstdint>

namespace Kernel
{
    /**
     * The index of the time instance.
     */
    typedef uint64_t TimeIndex;

}  // namespace Kernel

#endif  // Kernel_TimeIndex_h